1. Arithmetic, Proof theory and computational complexity
پدیدآورنده: edited by Peter Clote and Jan Krajicek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
2. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
پدیدآورنده: edited by M. M. Richter ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
3. Logical foundations of proof complexit
پدیدآورنده: / Stephen Cook, Phuong Nguyen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
267
.
7
,.
C695
,
2010
,
WEB
4. Logical foundations of proof complexity
پدیدآورنده: Cook, Stephen, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
5. Logical foundations of proof complexity
پدیدآورنده: Cook, Stephen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
6. Proof complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Computational complexity. ;
